(define (problem strips-log-x-28)
   (:domain logistics-strips)
   (:objects package42 package41 package40 package39 package38
             package37 package36 package35 package34 package33 package32
             package31 package30 package29 package28 package27 package26
             package25 package24 package23 package22 package21 package20
             package19 package18 package17 package16 package15 package14
             package13 package12 package11 package10 package9 package8
             package7 package6 package5 package4 package3 package2 package1
             city20 city19 city18 city17 city16 city15 city14 city13 city12
             city11 city10 city9 city8 city7 city6 city5 city4 city3 city2
             city1 truck83 truck82 truck81 truck80 truck79 truck78
             truck77 truck76 truck75 truck74 truck73 truck72 truck71
             truck70 truck69 truck68 truck67 truck66 truck65 truck64
             truck63 truck62 truck61 truck60 truck59 truck58 truck57
             truck56 truck55 truck54 truck53 truck52 truck51 truck50
             truck49 truck48 truck47 truck46 truck45 truck44 truck43
             truck42 truck41 truck40 truck39 truck38 truck37 truck36
             truck35 truck34 truck33 truck32 truck31 truck30 truck29
             truck28 truck27 truck26 truck25 truck24 truck23 truck22
             truck21 truck20 truck19 truck18 truck17 truck16 truck15
             truck14 truck13 truck12 truck11 truck10 truck9 truck8 truck7
             truck6 truck5 truck4 truck3 truck2 truck1 plane5 plane4 plane3
             plane2 plane1 city20-16 city20-15 city20-14 city20-13
             city20-12 city20-11 city20-10 city20-9 city20-8 city20-7
             city20-6 city20-5 city20-4 city20-3 city20-2 city20-1
             city19-16 city19-15 city19-14 city19-13 city19-12 city19-11
             city19-10 city19-9 city19-8 city19-7 city19-6 city19-5 city19-4
             city19-3 city19-2 city19-1 city18-16 city18-15 city18-14
             city18-13 city18-12 city18-11 city18-10 city18-9 city18-8
             city18-7 city18-6 city18-5 city18-4 city18-3 city18-2 city18-1
             city17-16 city17-15 city17-14 city17-13 city17-12 city17-11
             city17-10 city17-9 city17-8 city17-7 city17-6 city17-5 city17-4
             city17-3 city17-2 city17-1 city16-16 city16-15 city16-14
             city16-13 city16-12 city16-11 city16-10 city16-9 city16-8
             city16-7 city16-6 city16-5 city16-4 city16-3 city16-2 city16-1
             city15-16 city15-15 city15-14 city15-13 city15-12 city15-11
             city15-10 city15-9 city15-8 city15-7 city15-6 city15-5 city15-4
             city15-3 city15-2 city15-1 city14-16 city14-15 city14-14
             city14-13 city14-12 city14-11 city14-10 city14-9 city14-8
             city14-7 city14-6 city14-5 city14-4 city14-3 city14-2 city14-1
             city13-16 city13-15 city13-14 city13-13 city13-12 city13-11
             city13-10 city13-9 city13-8 city13-7 city13-6 city13-5 city13-4
             city13-3 city13-2 city13-1 city12-16 city12-15 city12-14
             city12-13 city12-12 city12-11 city12-10 city12-9 city12-8
             city12-7 city12-6 city12-5 city12-4 city12-3 city12-2 city12-1
             city11-16 city11-15 city11-14 city11-13 city11-12 city11-11
             city11-10 city11-9 city11-8 city11-7 city11-6 city11-5 city11-4
             city11-3 city11-2 city11-1 city10-16 city10-15 city10-14
             city10-13 city10-12 city10-11 city10-10 city10-9 city10-8
             city10-7 city10-6 city10-5 city10-4 city10-3 city10-2 city10-1
             city9-16 city9-15 city9-14 city9-13 city9-12 city9-11 city9-10
             city9-9 city9-8 city9-7 city9-6 city9-5 city9-4 city9-3
             city9-2 city9-1 city8-16 city8-15 city8-14 city8-13 city8-12
             city8-11 city8-10 city8-9 city8-8 city8-7 city8-6 city8-5
             city8-4 city8-3 city8-2 city8-1 city7-16 city7-15 city7-14
             city7-13 city7-12 city7-11 city7-10 city7-9 city7-8 city7-7
             city7-6 city7-5 city7-4 city7-3 city7-2 city7-1 city6-16
             city6-15 city6-14 city6-13 city6-12 city6-11 city6-10 city6-9
             city6-8 city6-7 city6-6 city6-5 city6-4 city6-3 city6-2
             city6-1 city5-16 city5-15 city5-14 city5-13 city5-12 city5-11
             city5-10 city5-9 city5-8 city5-7 city5-6 city5-5 city5-4
             city5-3 city5-2 city5-1 city4-16 city4-15 city4-14 city4-13
             city4-12 city4-11 city4-10 city4-9 city4-8 city4-7 city4-6
             city4-5 city4-4 city4-3 city4-2 city4-1 city3-16 city3-15
             city3-14 city3-13 city3-12 city3-11 city3-10 city3-9 city3-8
             city3-7 city3-6 city3-5 city3-4 city3-3 city3-2 city3-1
             city2-16 city2-15 city2-14 city2-13 city2-12 city2-11 city2-10
             city2-9 city2-8 city2-7 city2-6 city2-5 city2-4 city2-3
             city2-2 city2-1 city1-16 city1-15 city1-14 city1-13 city1-12
             city1-11 city1-10 city1-9 city1-8 city1-7 city1-6 city1-5
             city1-4 city1-3 city1-2 city1-1 city20-17 city19-17 city18-17
             city17-17 city16-17 city15-17 city14-17 city13-17 city12-17
             city11-17 city10-17 city9-17 city8-17 city7-17 city6-17
             city5-17 city4-17 city3-17 city2-17 city1-17)
   (:init (obj package42)
          (obj package41)
          (obj package40)
          (obj package39)
          (obj package38)
          (obj package37)
          (obj package36)
          (obj package35)
          (obj package34)
          (obj package33)
          (obj package32)
          (obj package31)
          (obj package30)
          (obj package29)
          (obj package28)
          (obj package27)
          (obj package26)
          (obj package25)
          (obj package24)
          (obj package23)
          (obj package22)
          (obj package21)
          (obj package20)
          (obj package19)
          (obj package18)
          (obj package17)
          (obj package16)
          (obj package15)
          (obj package14)
          (obj package13)
          (obj package12)
          (obj package11)
          (obj package10)
          (obj package9)
          (obj package8)
          (obj package7)
          (obj package6)
          (obj package5)
          (obj package4)
          (obj package3)
          (obj package2)
          (obj package1)
          (city city20)
          (city city19)
          (city city18)
          (city city17)
          (city city16)
          (city city15)
          (city city14)
          (city city13)
          (city city12)
          (city city11)
          (city city10)
          (city city9)
          (city city8)
          (city city7)
          (city city6)
          (city city5)
          (city city4)
          (city city3)
          (city city2)
          (city city1)
          (truck truck83)
          (truck truck82)
          (truck truck81)
          (truck truck80)
          (truck truck79)
          (truck truck78)
          (truck truck77)
          (truck truck76)
          (truck truck75)
          (truck truck74)
          (truck truck73)
          (truck truck72)
          (truck truck71)
          (truck truck70)
          (truck truck69)
          (truck truck68)
          (truck truck67)
          (truck truck66)
          (truck truck65)
          (truck truck64)
          (truck truck63)
          (truck truck62)
          (truck truck61)
          (truck truck60)
          (truck truck59)
          (truck truck58)
          (truck truck57)
          (truck truck56)
          (truck truck55)
          (truck truck54)
          (truck truck53)
          (truck truck52)
          (truck truck51)
          (truck truck50)
          (truck truck49)
          (truck truck48)
          (truck truck47)
          (truck truck46)
          (truck truck45)
          (truck truck44)
          (truck truck43)
          (truck truck42)
          (truck truck41)
          (truck truck40)
          (truck truck39)
          (truck truck38)
          (truck truck37)
          (truck truck36)
          (truck truck35)
          (truck truck34)
          (truck truck33)
          (truck truck32)
          (truck truck31)
          (truck truck30)
          (truck truck29)
          (truck truck28)
          (truck truck27)
          (truck truck26)
          (truck truck25)
          (truck truck24)
          (truck truck23)
          (truck truck22)
          (truck truck21)
          (truck truck20)
          (truck truck19)
          (truck truck18)
          (truck truck17)
          (truck truck16)
          (truck truck15)
          (truck truck14)
          (truck truck13)
          (truck truck12)
          (truck truck11)
          (truck truck10)
          (truck truck9)
          (truck truck8)
          (truck truck7)
          (truck truck6)
          (truck truck5)
          (truck truck4)
          (truck truck3)
          (truck truck2)
          (truck truck1)
          (airplane plane5)
          (airplane plane4)
          (airplane plane3)
          (airplane plane2)
          (airplane plane1)
          (location city20-16)
          (location city20-15)
          (location city20-14)
          (location city20-13)
          (location city20-12)
          (location city20-11)
          (location city20-10)
          (location city20-9)
          (location city20-8)
          (location city20-7)
          (location city20-6)
          (location city20-5)
          (location city20-4)
          (location city20-3)
          (location city20-2)
          (location city20-1)
          (location city19-16)
          (location city19-15)
          (location city19-14)
          (location city19-13)
          (location city19-12)
          (location city19-11)
          (location city19-10)
          (location city19-9)
          (location city19-8)
          (location city19-7)
          (location city19-6)
          (location city19-5)
          (location city19-4)
          (location city19-3)
          (location city19-2)
          (location city19-1)
          (location city18-16)
          (location city18-15)
          (location city18-14)
          (location city18-13)
          (location city18-12)
          (location city18-11)
          (location city18-10)
          (location city18-9)
          (location city18-8)
          (location city18-7)
          (location city18-6)
          (location city18-5)
          (location city18-4)
          (location city18-3)
          (location city18-2)
          (location city18-1)
          (location city17-16)
          (location city17-15)
          (location city17-14)
          (location city17-13)
          (location city17-12)
          (location city17-11)
          (location city17-10)
          (location city17-9)
          (location city17-8)
          (location city17-7)
          (location city17-6)
          (location city17-5)
          (location city17-4)
          (location city17-3)
          (location city17-2)
          (location city17-1)
          (location city16-16)
          (location city16-15)
          (location city16-14)
          (location city16-13)
          (location city16-12)
          (location city16-11)
          (location city16-10)
          (location city16-9)
          (location city16-8)
          (location city16-7)
          (location city16-6)
          (location city16-5)
          (location city16-4)
          (location city16-3)
          (location city16-2)
          (location city16-1)
          (location city15-16)
          (location city15-15)
          (location city15-14)
          (location city15-13)
          (location city15-12)
          (location city15-11)
          (location city15-10)
          (location city15-9)
          (location city15-8)
          (location city15-7)
          (location city15-6)
          (location city15-5)
          (location city15-4)
          (location city15-3)
          (location city15-2)
          (location city15-1)
          (location city14-16)
          (location city14-15)
          (location city14-14)
          (location city14-13)
          (location city14-12)
          (location city14-11)
          (location city14-10)
          (location city14-9)
          (location city14-8)
          (location city14-7)
          (location city14-6)
          (location city14-5)
          (location city14-4)
          (location city14-3)
          (location city14-2)
          (location city14-1)
          (location city13-16)
          (location city13-15)
          (location city13-14)
          (location city13-13)
          (location city13-12)
          (location city13-11)
          (location city13-10)
          (location city13-9)
          (location city13-8)
          (location city13-7)
          (location city13-6)
          (location city13-5)
          (location city13-4)
          (location city13-3)
          (location city13-2)
          (location city13-1)
          (location city12-16)
          (location city12-15)
          (location city12-14)
          (location city12-13)
          (location city12-12)
          (location city12-11)
          (location city12-10)
          (location city12-9)
          (location city12-8)
          (location city12-7)
          (location city12-6)
          (location city12-5)
          (location city12-4)
          (location city12-3)
          (location city12-2)
          (location city12-1)
          (location city11-16)
          (location city11-15)
          (location city11-14)
          (location city11-13)
          (location city11-12)
          (location city11-11)
          (location city11-10)
          (location city11-9)
          (location city11-8)
          (location city11-7)
          (location city11-6)
          (location city11-5)
          (location city11-4)
          (location city11-3)
          (location city11-2)
          (location city11-1)
          (location city10-16)
          (location city10-15)
          (location city10-14)
          (location city10-13)
          (location city10-12)
          (location city10-11)
          (location city10-10)
          (location city10-9)
          (location city10-8)
          (location city10-7)
          (location city10-6)
          (location city10-5)
          (location city10-4)
          (location city10-3)
          (location city10-2)
          (location city10-1)
          (location city9-16)
          (location city9-15)
          (location city9-14)
          (location city9-13)
          (location city9-12)
          (location city9-11)
          (location city9-10)
          (location city9-9)
          (location city9-8)
          (location city9-7)
          (location city9-6)
          (location city9-5)
          (location city9-4)
          (location city9-3)
          (location city9-2)
          (location city9-1)
          (location city8-16)
          (location city8-15)
          (location city8-14)
          (location city8-13)
          (location city8-12)
          (location city8-11)
          (location city8-10)
          (location city8-9)
          (location city8-8)
          (location city8-7)
          (location city8-6)
          (location city8-5)
          (location city8-4)
          (location city8-3)
          (location city8-2)
          (location city8-1)
          (location city7-16)
          (location city7-15)
          (location city7-14)
          (location city7-13)
          (location city7-12)
          (location city7-11)
          (location city7-10)
          (location city7-9)
          (location city7-8)
          (location city7-7)
          (location city7-6)
          (location city7-5)
          (location city7-4)
          (location city7-3)
          (location city7-2)
          (location city7-1)
          (location city6-16)
          (location city6-15)
          (location city6-14)
          (location city6-13)
          (location city6-12)
          (location city6-11)
          (location city6-10)
          (location city6-9)
          (location city6-8)
          (location city6-7)
          (location city6-6)
          (location city6-5)
          (location city6-4)
          (location city6-3)
          (location city6-2)
          (location city6-1)
          (location city5-16)
          (location city5-15)
          (location city5-14)
          (location city5-13)
          (location city5-12)
          (location city5-11)
          (location city5-10)
          (location city5-9)
          (location city5-8)
          (location city5-7)
          (location city5-6)
          (location city5-5)
          (location city5-4)
          (location city5-3)
          (location city5-2)
          (location city5-1)
          (location city4-16)
          (location city4-15)
          (location city4-14)
          (location city4-13)
          (location city4-12)
          (location city4-11)
          (location city4-10)
          (location city4-9)
          (location city4-8)
          (location city4-7)
          (location city4-6)
          (location city4-5)
          (location city4-4)
          (location city4-3)
          (location city4-2)
          (location city4-1)
          (location city3-16)
          (location city3-15)
          (location city3-14)
          (location city3-13)
          (location city3-12)
          (location city3-11)
          (location city3-10)
          (location city3-9)
          (location city3-8)
          (location city3-7)
          (location city3-6)
          (location city3-5)
          (location city3-4)
          (location city3-3)
          (location city3-2)
          (location city3-1)
          (location city2-16)
          (location city2-15)
          (location city2-14)
          (location city2-13)
          (location city2-12)
          (location city2-11)
          (location city2-10)
          (location city2-9)
          (location city2-8)
          (location city2-7)
          (location city2-6)
          (location city2-5)
          (location city2-4)
          (location city2-3)
          (location city2-2)
          (location city2-1)
          (location city1-16)
          (location city1-15)
          (location city1-14)
          (location city1-13)
          (location city1-12)
          (location city1-11)
          (location city1-10)
          (location city1-9)
          (location city1-8)
          (location city1-7)
          (location city1-6)
          (location city1-5)
          (location city1-4)
          (location city1-3)
          (location city1-2)
          (location city1-1)
          (airport city20-17)
          (location city20-17)
          (airport city19-17)
          (location city19-17)
          (airport city18-17)
          (location city18-17)
          (airport city17-17)
          (location city17-17)
          (airport city16-17)
          (location city16-17)
          (airport city15-17)
          (location city15-17)
          (airport city14-17)
          (location city14-17)
          (airport city13-17)
          (location city13-17)
          (airport city12-17)
          (location city12-17)
          (airport city11-17)
          (location city11-17)
          (airport city10-17)
          (location city10-17)
          (airport city9-17)
          (location city9-17)
          (airport city8-17)
          (location city8-17)
          (airport city7-17)
          (location city7-17)
          (airport city6-17)
          (location city6-17)
          (airport city5-17)
          (location city5-17)
          (airport city4-17)
          (location city4-17)
          (airport city3-17)
          (location city3-17)
          (airport city2-17)
          (location city2-17)
          (airport city1-17)
          (location city1-17)
          (in-city city20-17 city20)
          (in-city city20-16 city20)
          (in-city city20-15 city20)
          (in-city city20-14 city20)
          (in-city city20-13 city20)
          (in-city city20-12 city20)
          (in-city city20-11 city20)
          (in-city city20-10 city20)
          (in-city city20-9 city20)
          (in-city city20-8 city20)
          (in-city city20-7 city20)
          (in-city city20-6 city20)
          (in-city city20-5 city20)
          (in-city city20-4 city20)
          (in-city city20-3 city20)
          (in-city city20-2 city20)
          (in-city city20-1 city20)
          (in-city city19-17 city19)
          (in-city city19-16 city19)
          (in-city city19-15 city19)
          (in-city city19-14 city19)
          (in-city city19-13 city19)
          (in-city city19-12 city19)
          (in-city city19-11 city19)
          (in-city city19-10 city19)
          (in-city city19-9 city19)
          (in-city city19-8 city19)
          (in-city city19-7 city19)
          (in-city city19-6 city19)
          (in-city city19-5 city19)
          (in-city city19-4 city19)
          (in-city city19-3 city19)
          (in-city city19-2 city19)
          (in-city city19-1 city19)
          (in-city city18-17 city18)
          (in-city city18-16 city18)
          (in-city city18-15 city18)
          (in-city city18-14 city18)
          (in-city city18-13 city18)
          (in-city city18-12 city18)
          (in-city city18-11 city18)
          (in-city city18-10 city18)
          (in-city city18-9 city18)
          (in-city city18-8 city18)
          (in-city city18-7 city18)
          (in-city city18-6 city18)
          (in-city city18-5 city18)
          (in-city city18-4 city18)
          (in-city city18-3 city18)
          (in-city city18-2 city18)
          (in-city city18-1 city18)
          (in-city city17-17 city17)
          (in-city city17-16 city17)
          (in-city city17-15 city17)
          (in-city city17-14 city17)
          (in-city city17-13 city17)
          (in-city city17-12 city17)
          (in-city city17-11 city17)
          (in-city city17-10 city17)
          (in-city city17-9 city17)
          (in-city city17-8 city17)
          (in-city city17-7 city17)
          (in-city city17-6 city17)
          (in-city city17-5 city17)
          (in-city city17-4 city17)
          (in-city city17-3 city17)
          (in-city city17-2 city17)
          (in-city city17-1 city17)
          (in-city city16-17 city16)
          (in-city city16-16 city16)
          (in-city city16-15 city16)
          (in-city city16-14 city16)
          (in-city city16-13 city16)
          (in-city city16-12 city16)
          (in-city city16-11 city16)
          (in-city city16-10 city16)
          (in-city city16-9 city16)
          (in-city city16-8 city16)
          (in-city city16-7 city16)
          (in-city city16-6 city16)
          (in-city city16-5 city16)
          (in-city city16-4 city16)
          (in-city city16-3 city16)
          (in-city city16-2 city16)
          (in-city city16-1 city16)
          (in-city city15-17 city15)
          (in-city city15-16 city15)
          (in-city city15-15 city15)
          (in-city city15-14 city15)
          (in-city city15-13 city15)
          (in-city city15-12 city15)
          (in-city city15-11 city15)
          (in-city city15-10 city15)
          (in-city city15-9 city15)
          (in-city city15-8 city15)
          (in-city city15-7 city15)
          (in-city city15-6 city15)
          (in-city city15-5 city15)
          (in-city city15-4 city15)
          (in-city city15-3 city15)
          (in-city city15-2 city15)
          (in-city city15-1 city15)
          (in-city city14-17 city14)
          (in-city city14-16 city14)
          (in-city city14-15 city14)
          (in-city city14-14 city14)
          (in-city city14-13 city14)
          (in-city city14-12 city14)
          (in-city city14-11 city14)
          (in-city city14-10 city14)
          (in-city city14-9 city14)
          (in-city city14-8 city14)
          (in-city city14-7 city14)
          (in-city city14-6 city14)
          (in-city city14-5 city14)
          (in-city city14-4 city14)
          (in-city city14-3 city14)
          (in-city city14-2 city14)
          (in-city city14-1 city14)
          (in-city city13-17 city13)
          (in-city city13-16 city13)
          (in-city city13-15 city13)
          (in-city city13-14 city13)
          (in-city city13-13 city13)
          (in-city city13-12 city13)
          (in-city city13-11 city13)
          (in-city city13-10 city13)
          (in-city city13-9 city13)
          (in-city city13-8 city13)
          (in-city city13-7 city13)
          (in-city city13-6 city13)
          (in-city city13-5 city13)
          (in-city city13-4 city13)
          (in-city city13-3 city13)
          (in-city city13-2 city13)
          (in-city city13-1 city13)
          (in-city city12-17 city12)
          (in-city city12-16 city12)
          (in-city city12-15 city12)
          (in-city city12-14 city12)
          (in-city city12-13 city12)
          (in-city city12-12 city12)
          (in-city city12-11 city12)
          (in-city city12-10 city12)
          (in-city city12-9 city12)
          (in-city city12-8 city12)
          (in-city city12-7 city12)
          (in-city city12-6 city12)
          (in-city city12-5 city12)
          (in-city city12-4 city12)
          (in-city city12-3 city12)
          (in-city city12-2 city12)
          (in-city city12-1 city12)
          (in-city city11-17 city11)
          (in-city city11-16 city11)
          (in-city city11-15 city11)
          (in-city city11-14 city11)
          (in-city city11-13 city11)
          (in-city city11-12 city11)
          (in-city city11-11 city11)
          (in-city city11-10 city11)
          (in-city city11-9 city11)
          (in-city city11-8 city11)
          (in-city city11-7 city11)
          (in-city city11-6 city11)
          (in-city city11-5 city11)
          (in-city city11-4 city11)
          (in-city city11-3 city11)
          (in-city city11-2 city11)
          (in-city city11-1 city11)
          (in-city city10-17 city10)
          (in-city city10-16 city10)
          (in-city city10-15 city10)
          (in-city city10-14 city10)
          (in-city city10-13 city10)
          (in-city city10-12 city10)
          (in-city city10-11 city10)
          (in-city city10-10 city10)
          (in-city city10-9 city10)
          (in-city city10-8 city10)
          (in-city city10-7 city10)
          (in-city city10-6 city10)
          (in-city city10-5 city10)
          (in-city city10-4 city10)
          (in-city city10-3 city10)
          (in-city city10-2 city10)
          (in-city city10-1 city10)
          (in-city city9-17 city9)
          (in-city city9-16 city9)
          (in-city city9-15 city9)
          (in-city city9-14 city9)
          (in-city city9-13 city9)
          (in-city city9-12 city9)
          (in-city city9-11 city9)
          (in-city city9-10 city9)
          (in-city city9-9 city9)
          (in-city city9-8 city9)
          (in-city city9-7 city9)
          (in-city city9-6 city9)
          (in-city city9-5 city9)
          (in-city city9-4 city9)
          (in-city city9-3 city9)
          (in-city city9-2 city9)
          (in-city city9-1 city9)
          (in-city city8-17 city8)
          (in-city city8-16 city8)
          (in-city city8-15 city8)
          (in-city city8-14 city8)
          (in-city city8-13 city8)
          (in-city city8-12 city8)
          (in-city city8-11 city8)
          (in-city city8-10 city8)
          (in-city city8-9 city8)
          (in-city city8-8 city8)
          (in-city city8-7 city8)
          (in-city city8-6 city8)
          (in-city city8-5 city8)
          (in-city city8-4 city8)
          (in-city city8-3 city8)
          (in-city city8-2 city8)
          (in-city city8-1 city8)
          (in-city city7-17 city7)
          (in-city city7-16 city7)
          (in-city city7-15 city7)
          (in-city city7-14 city7)
          (in-city city7-13 city7)
          (in-city city7-12 city7)
          (in-city city7-11 city7)
          (in-city city7-10 city7)
          (in-city city7-9 city7)
          (in-city city7-8 city7)
          (in-city city7-7 city7)
          (in-city city7-6 city7)
          (in-city city7-5 city7)
          (in-city city7-4 city7)
          (in-city city7-3 city7)
          (in-city city7-2 city7)
          (in-city city7-1 city7)
          (in-city city6-17 city6)
          (in-city city6-16 city6)
          (in-city city6-15 city6)
          (in-city city6-14 city6)
          (in-city city6-13 city6)
          (in-city city6-12 city6)
          (in-city city6-11 city6)
          (in-city city6-10 city6)
          (in-city city6-9 city6)
          (in-city city6-8 city6)
          (in-city city6-7 city6)
          (in-city city6-6 city6)
          (in-city city6-5 city6)
          (in-city city6-4 city6)
          (in-city city6-3 city6)
          (in-city city6-2 city6)
          (in-city city6-1 city6)
          (in-city city5-17 city5)
          (in-city city5-16 city5)
          (in-city city5-15 city5)
          (in-city city5-14 city5)
          (in-city city5-13 city5)
          (in-city city5-12 city5)
          (in-city city5-11 city5)
          (in-city city5-10 city5)
          (in-city city5-9 city5)
          (in-city city5-8 city5)
          (in-city city5-7 city5)
          (in-city city5-6 city5)
          (in-city city5-5 city5)
          (in-city city5-4 city5)
          (in-city city5-3 city5)
          (in-city city5-2 city5)
          (in-city city5-1 city5)
          (in-city city4-17 city4)
          (in-city city4-16 city4)
          (in-city city4-15 city4)
          (in-city city4-14 city4)
          (in-city city4-13 city4)
          (in-city city4-12 city4)
          (in-city city4-11 city4)
          (in-city city4-10 city4)
          (in-city city4-9 city4)
          (in-city city4-8 city4)
          (in-city city4-7 city4)
          (in-city city4-6 city4)
          (in-city city4-5 city4)
          (in-city city4-4 city4)
          (in-city city4-3 city4)
          (in-city city4-2 city4)
          (in-city city4-1 city4)
          (in-city city3-17 city3)
          (in-city city3-16 city3)
          (in-city city3-15 city3)
          (in-city city3-14 city3)
          (in-city city3-13 city3)
          (in-city city3-12 city3)
          (in-city city3-11 city3)
          (in-city city3-10 city3)
          (in-city city3-9 city3)
          (in-city city3-8 city3)
          (in-city city3-7 city3)
          (in-city city3-6 city3)
          (in-city city3-5 city3)
          (in-city city3-4 city3)
          (in-city city3-3 city3)
          (in-city city3-2 city3)
          (in-city city3-1 city3)
          (in-city city2-17 city2)
          (in-city city2-16 city2)
          (in-city city2-15 city2)
          (in-city city2-14 city2)
          (in-city city2-13 city2)
          (in-city city2-12 city2)
          (in-city city2-11 city2)
          (in-city city2-10 city2)
          (in-city city2-9 city2)
          (in-city city2-8 city2)
          (in-city city2-7 city2)
          (in-city city2-6 city2)
          (in-city city2-5 city2)
          (in-city city2-4 city2)
          (in-city city2-3 city2)
          (in-city city2-2 city2)
          (in-city city2-1 city2)
          (in-city city1-17 city1)
          (in-city city1-16 city1)
          (in-city city1-15 city1)
          (in-city city1-14 city1)
          (in-city city1-13 city1)
          (in-city city1-12 city1)
          (in-city city1-11 city1)
          (in-city city1-10 city1)
          (in-city city1-9 city1)
          (in-city city1-8 city1)
          (in-city city1-7 city1)
          (in-city city1-6 city1)
          (in-city city1-5 city1)
          (in-city city1-4 city1)
          (in-city city1-3 city1)
          (in-city city1-2 city1)
          (in-city city1-1 city1)
          (at plane5 city19-17)
          (at plane4 city9-17)
          (at plane3 city18-17)
          (at plane2 city18-17)
          (at plane1 city14-17)
          (at truck83 city20-7)
          (at truck82 city19-2)
          (at truck81 city18-5)
          (at truck80 city17-14)
          (at truck79 city16-15)
          (at truck78 city15-7)
          (at truck77 city14-14)
          (at truck76 city13-9)
          (at truck75 city12-8)
          (at truck74 city11-1)
          (at truck73 city10-13)
          (at truck72 city9-4)
          (at truck71 city8-3)
          (at truck70 city7-15)
          (at truck69 city6-2)
          (at truck68 city5-8)
          (at truck67 city4-5)
          (at truck66 city3-15)
          (at truck65 city2-7)
          (at truck64 city1-2)
          (at truck63 city1-16)
          (at truck62 city9-15)
          (at truck61 city19-9)
          (at truck60 city12-8)
          (at truck59 city7-10)
          (at truck58 city15-5)
          (at truck57 city7-13)
          (at truck56 city11-1)
          (at truck55 city2-11)
          (at truck54 city13-7)
          (at truck53 city18-13)
          (at truck52 city16-11)
          (at truck51 city19-10)
          (at truck50 city2-8)
          (at truck49 city19-8)
          (at truck48 city19-9)
          (at truck47 city11-2)
          (at truck46 city14-7)
          (at truck45 city2-17)
          (at truck44 city9-17)
          (at truck43 city2-8)
          (at truck42 city19-12)
          (at truck41 city7-15)
          (at truck40 city2-4)
          (at truck39 city18-1)
          (at truck38 city16-6)
          (at truck37 city7-7)
          (at truck36 city12-6)
          (at truck35 city15-17)
          (at truck34 city2-2)
          (at truck33 city13-16)
          (at truck32 city11-2)
          (at truck31 city3-13)
          (at truck30 city8-5)
          (at truck29 city5-7)
          (at truck28 city5-10)
          (at truck27 city4-8)
          (at truck26 city2-5)
          (at truck25 city10-17)
          (at truck24 city13-16)
          (at truck23 city3-13)
          (at truck22 city5-9)
          (at truck21 city11-11)
          (at truck20 city15-13)
          (at truck19 city8-1)
          (at truck18 city5-17)
          (at truck17 city17-15)
          (at truck16 city3-11)
          (at truck15 city10-16)
          (at truck14 city12-4)
          (at truck13 city15-15)
          (at truck12 city13-7)
          (at truck11 city13-2)
          (at truck10 city19-5)
          (at truck9 city6-10)
          (at truck8 city13-6)
          (at truck7 city15-16)
          (at truck6 city8-14)
          (at truck5 city18-3)
          (at truck4 city13-8)
          (at truck3 city17-17)
          (at truck2 city10-6)
          (at truck1 city13-11)
          (at package42 city16-15)
          (at package41 city19-8)
          (at package40 city3-6)
          (at package39 city7-6)
          (at package38 city16-7)
          (at package37 city10-13)
          (at package36 city13-17)
          (at package35 city18-8)
          (at package34 city15-1)
          (at package33 city6-7)
          (at package32 city12-6)
          (at package31 city16-8)
          (at package30 city16-3)
          (at package29 city11-14)
          (at package28 city8-4)
          (at package27 city11-2)
          (at package26 city12-7)
          (at package25 city13-6)
          (at package24 city16-9)
          (at package23 city11-9)
          (at package22 city16-7)
          (at package21 city5-3)
          (at package20 city3-6)
          (at package19 city3-13)
          (at package18 city1-12)
          (at package17 city8-13)
          (at package16 city9-1)
          (at package15 city15-4)
          (at package14 city3-17)
          (at package13 city15-6)
          (at package12 city3-3)
          (at package11 city13-8)
          (at package10 city2-17)
          (at package9 city12-4)
          (at package8 city3-1)
          (at package7 city13-5)
          (at package6 city5-4)
          (at package5 city14-3)
          (at package4 city5-3)
          (at package3 city15-1)
          (at package2 city2-7)
          (at package1 city4-10))
   (:goal (and (at package42 city13-8)
               (at package41 city3-16)
               (at package40 city8-9)
               (at package39 city3-8)
               (at package38 city12-4)
               (at package37 city19-7)
               (at package36 city19-16)
               (at package35 city17-15)
               (at package34 city8-4)
               (at package33 city9-12)
               (at package32 city2-16)
               (at package31 city4-12)
               (at package30 city17-2)
               (at package29 city11-7)
               (at package28 city10-17)
               (at package27 city15-14)
               (at package26 city12-11)
               (at package25 city8-12)
               (at package24 city18-5)
               (at package23 city16-16)
               (at package22 city4-11)
               (at package21 city11-2)
               (at package20 city9-2)
               (at package19 city17-4)
               (at package18 city10-16)
               (at package17 city1-3)
               (at package16 city20-11)
               (at package15 city11-16)
               (at package14 city2-6)
               (at package13 city10-14))))